#include <stdio.h>

typedef int int1[1];

int main(){
		int1 a1={5};
		printf("The 1-element array is: %d \r\n", *a1);
		printf("\r\n");
		return 0;
}
